Possibility operators over n-valued Gödel logic

نویسندگان

چکیده

In the area of fuzzy logic, expansions these logics by $\Delta$ operator have been intensively studied; interest is due to fact that it presents a behavior, associated systems were studied in propositional and first-order level. On other hand, possibility operators define Łukasiewicz-Moisil algebras over different classes algebras; are known as Moisil's literature. One coincides with $\Delta$, showing there behavior. this paper, we present study an extension logic; namely, n-valued Gödel thus opening explore more operators.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Bi-modal Gödel logic over [0,1]-valued Kripke frames

We consider the Gödel bi-modal logic determined by fuzzy Kripke models where both the propositions and the accessibility relation are infinitely valued over the standard Gödel algebra [0,1] and prove strong completeness of Fischer Servi intuitionistic modal logic IK plus the prelinearity axiom with respect to this semantics. We axiomatize also the bi-modal analogues of T, S4, and S5 obtained by...

متن کامل

Monotone operators on Gödel logic

4 We consider an extension of Gödel logic by a unary operator that enables the addition of nonnegative reals to truth-values. Although its propositional fragment has a simple proof system, first-order validity is Π2-hard. We explain the close connection to Scarpellini’s result on Π2hardness of Łukasiewicz’s logic.

متن کامل

Extending possibilistic logic over Gödel logic

In this paper we present several fuzzy logics trying to capture different notions of necessity (in the sense of Possibility theory) for Gödel logic formulas. Based on different characterizations of necessity measures on fuzzy sets, a group of logics with Kripke style semantics are built over a restricted language, namely a two level language composed of non-modal and modal formulas, the latter ...

متن کامل

Exploring Extensions of Possibilistic Logic over Gödel Logic

In this paper we present completeness results of several fuzzy logics trying to capture different notions of necessity (in the sense of Possibility theory) for Gödel logic formulas. In a first attempt, based on different characterizations of necessity measures on fuzzy sets, a group of logics, with Kripke style semantics, are built over a restricted language, indeed a two level language compose...

متن کامل

Gödel Homomorphisms as Gödel Modal Operators

We extend propositional Gödel logic by a unary modal operator, which we interpret as 5 Gödel homomorphisms, i.e. functions [0, 1] → [0, 1] that distribute over the interpretations of the 6 binary connectives of Gödel logic. We show that validity in the propositional fragment has a simple 7 superintuitionistic Hilbert-type proof system, which is not structurally complete, and that validity 8 doe...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of algebraic hyperstructures and logical algebras

سال: 2022

ISSN: ['2676-6000', '2676-6019']

DOI: https://doi.org/10.52547/hatef.jahla.3.2.1